منابع مشابه
Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new binary sequent calculi (each sequent is a pair of formulae) for many valued logic with a finite set of truth values, and of Kripke-like semantics for it that is both sound and complete. We did not use the logic entailment based o...
متن کاملSequent of Relations Calculi: A Framework for Analytic Deduction in Many-Valued Logics
We present a general framework that allows to construct systematically analytic calculi for a large family of (propositional) many-valued logics — called projective logics — characterized by a special format of their semantics. All finite-valued logics as well as infinite-valued Gödel logic are projective. As a case-study, sequent of relations calculi for Gödel logics are derived. A comparison ...
متن کاملTransporting many-valued sets along many-valued relations
The transport of L-sets along an L-relation R is considered, with L any residuated lattice, sometimes with further properties as to be a frame or an MV-algebra. Pairs of powerset operators related to R are considered and their basic properties are studied in a comprehensive discussion including some results already known. A few examples and suggestions for application and further development ar...
متن کاملEvaluation of XPath Fragments Using Lambda Calculi
XML Path Language (XPath) is the most important standard for navigation within XML documents nowadays. In this paper we present the state of our current research that is focused on using a functional framework based on simply typed lambda calculi and a general type system XML-λ for description of semantics of a query language. With such formalism we are able to describe the semantics of all lan...
متن کاملMany-valued hybrid logic
In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is prooftheoretically well-behaved, in particular, it gives rise to a decision procedure for the logic. This shows that many-valued hybrid logics is a natural enterprise and opens up the way for future applications.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1958
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-1958-0094299-1